declare void @external_func(i32 (i32)* nocapture)